181. Engineering in dependability of computer systems and networks :
پدیدآورنده : Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak and Janusz Kacprzyk, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer engineering, Congresses.,Computer systems-- Reliability, Congresses.,Computer engineering.,Computer systems-- Reliability.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
QA76
.
76
.
R44
182. Environmental software systems :
پدیدآورنده : edited by Jiří Hřebíček, Ralf Denzer, Gerald Schimak, Tomáš Pitner.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Cloud computing, Congresses.,Environmental sciences-- Data processing, Congresses.,Sensor networks, Congresses.,Ubiquitous computing, Congresses.,Artificial intelligence.,Cloud computing.,Computer modelling & simulation.,Computers-- Computer Simulation.,Computers-- Data Processing.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Environmental sciences-- Data processing.,Information retrieval.,Information technology: general issues.,Network hardware.,Sensor networks.,Software Engineering.,Ubiquitous computing.
رده :
QA76
.
76
.
A65
183. European Symposium on Computer Aided Process Engineering--10 :
پدیدآورنده : organized by AIDIC, the Italian Association of Chemical Engineering ; edited by Sauro Pierucci.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Chemical process control-- Data processing, Congresses.,Computer integrated manufacturing systems, Congresses.,Chemical process control-- Data processing.,Computer integrated manufacturing systems.,SCIENCE-- Chemistry-- Industrial & Technical.,TECHNOLOGY & ENGINEERING-- Chemical & Biochemical.
رده :
TP155
.
75
.
E97
2000eb
184. Formal methods for industrial critical systems :
پدیدآورنده : Falk Howar, Jiří Barnat (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
F67
I58
2018eb
185. Foundations of intelligent systems :
پدیدآورنده : Ning Zhong [and others] (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence -- Congresses.,Expert systems (Computer science) -- Congresses.,Intelligent control systems -- Congresses.
186. From genes to personalized healthcare
پدیدآورنده : edited by Nicolas Jacq ... [et al.].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Medical care-- Computer networks, Congresses.,Medical information, Congresses.,Medicine-- Data processing, Congresses.
187. From genes to personalized healthcare
پدیدآورنده : edited by Nicolas Jacq ... [et al.].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Medical care-- Computer networks, Congresses.,Medical information, Congresses.,Medicine-- Data processing, Congresses.
188. Frontier computing :
پدیدآورنده : editors, Jason C. Hung, Neil Y. Yen, Kuan-Ching Li.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses.,Databases, Congresses.,Information technology, Congresses.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Databases.,Information technology.
رده :
QA75
.
5
189. Frontier computing :
پدیدآورنده : Jason C. Hung, Neil Y. Yen, Kuan-Ching Li, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses.,Databases, Congresses.,Information technology, Congresses.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Databases.,Information technology.
رده :
QA75
.
5
190. Future challenges in security and privacy for academia and industry : 26th IFIP TC 11 International Information Security Conference, SEC 2011, Lucerne, Switzerland, June 7-9, 2011 : Proceedings
پدیدآورنده : Jan Camenisch ]and others[ )eds.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : Congresses ، Computer security,Congresses ، Computer networks - Security measures
رده :
QA
76
.
9
.
A25
I45
2011
191. Future generation information technology :
پدیدآورنده : Tai-hoon Kim [and others] (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses,Information technology, Congresses
رده :
QA75
.
5
.
F45
2011
192. Future generation information technology
پدیدآورنده : Young-hoon Lee ... [et al.] (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses,Electronic data processing, Congresses,Information technology, Congresses,Software engineering, Congresses
رده :
T58
.
5
.
F98
2009eb
193. Future information communication technology and applications
پدیدآورنده : Hoe-Kyung Jung ... [et al.], editors
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks, Congresses,Information technology, Congresses,Telecommunication systems-- Technological innovations, Congresses
رده :
T58
.
5
.
I58
2013
194. Future information engineering and manufacturing science :
پدیدآورنده : editor, Dawei Zheng.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automation, Congresses.,Computer networks, Congresses.,Computer science, Congresses.,Computer-assisted instruction, Congresses.,Information technology, Congresses.
195. Graph structures for knowledge representation and reasoning :
پدیدآورنده : Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data structures (Computer science), Congresses.,Knowledge representation (Information theory), Congresses.,Artificial intelligence.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- System Administration-- Storage & Retrieval.,Data structures (Computer science),Information retrieval.,Knowledge representation (Information theory),Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.,Network hardware.
رده :
Q387
196. Grid and distributed computing :
پدیدآورنده : Tai-hoon Kim...[et al.] (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational grids (Computer systems), Congresses.,Electronic data processing-- Distributed processing, Congresses.
رده :
QA76
.
9
.
C58
G33
2011
197. Hard-to-Measure Goods and Services :
پدیدآورنده : edited by Ernst R. Berndt and Charles R. Hulten.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Griliches, Zvi,1930-1999.,Griliches, Zvi,1930-,Griliches, Zvi,1930-1999.,Econometrics, Congresses.,Income distribution, Congresses.,Économétrie, Congrès.,Revenu-- Répartition, Congrès.,BUSINESS & ECONOMICS-- Econometrics.,BUSINESS & ECONOMICS-- Statistics.,Econometrics.,Income distribution.,Nationaal inkomen.,Ökonometrie,Prijzen (economie),Vergelijkende economie.
رده :
HB139
.
H368
2007eb
198. Highlights of practical applications of survivable agents and multi-agent systems :
پدیدآورنده : Fernando De La Prieta, Alfonso González-Briones, Pawel Pawleski, Davide Calvaresi, Elena Del Val, Fernando Lopes, Vicente Julian, Eneko Osaba, Ramón Sánchez-Iborra (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Cooperating objects (Computer systems), Congresses.,Multiagent systems, Congresses.,Cooperating objects (Computer systems),Multiagent systems.
رده :
QA76
.
76
.
I58
I58
2019eb
199. How do rogue nations threaten human rights? -- North Korea represses freedom / Kay Seok -- Iran violates women's rights / Sam Brownback -- Sudanese government engages in genocide / Human Rights Watch -- United States violates human rights worldwide / Vernon Coleman -- Rogue nations undermine the United Nations' mission to promote human rights / Joseph Loconte -- U.S. invasions have not spread democracy in the Middle East / Phyllis Bennis -- How should the global community respond to rogue nations? -- Preemptive force is sometimes necessary to contain rogue nations / National Review -- Preemptive force threatens efforts to contain rogue states / Ivan Eland -- Missile defense system is necessary to protect against rogue nations / Dennis Ross -- Missile defense system is unnecessary / Gwynne Dyer -- Promoting globalization will reduce the threat posed by rogue states / Banning N. Garrett, Dennis M. Sherman -- Globalization
پدیدآورنده : Louise Gerdes, book editor.
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
200. Human centered computing :
پدیدآورنده : Yong Tang, Qiaohong Zu, José G. Rodríguez García (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Human-computer interaction, Congresses.,Ubiquitous computing, Congresses.,User-centered system design, Congresses.,Human-computer interaction.,Ubiquitous computing.,User-centered system design.
رده :
QA76
.
5915
